Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
نویسنده
چکیده
We introduce a generic type system for the synchronouspolyadic -calculus, allowing us to mechanize the analysis of input/output capabilities of mobile processes. The parameter of the generic type system is a lattice-ordered monoid, the elements of which are used to describe the capabilities of channels with respect to their input/outputcabilities. The type system can be instantiated in order to check process properties such as upper and lower bounds on the number of active channels, confluence and absence of blocked processes.
منابع مشابه
Generating Type Systems for Process Graphs
We introduce a hypergraph-based process calculus with a generic type system. That is, a type system checking an invariant property of processes can be generated by instantiating the original type system. We demonstrate the key ideas behind the type system, namely that there exists a hypergraph morphism from each process graph into its type, and show how it can be used for the analysis of proces...
متن کاملImproving Mobile Grid Performance Using Fuzzy Job Replica Count Determiner
Grid computing is a term referring to the combination of computer resources from multiple administrative domains to reach a common computational platform. Mobile Computing is a Generic word that introduces using of movable, handheld devices with wireless communication, for processing data. Mobile Computing focused on providing access to data, information, services and communications anywhere an...
متن کاملImproving Mobile Grid Performance Using Fuzzy Job Replica Count Determiner
Grid computing is a term referring to the combination of computer resources from multiple administrative domains to reach a common computational platform. Mobile Computing is a Generic word that introduces using of movable, handheld devices with wireless communication, for processing data. Mobile Computing focused on providing access to data, information, services and communications anywhere an...
متن کاملDesign and Evaluation of a Mobile-Based Application for Patients With Type 2 Diabetes: Case Study of Shariati Hospital in Tehran, Iran
Background: With regard to the particularly high prevalence, cost, and number of disabilities associated with diabetes, increasing patients’ knowledge and skills for managing the disease can help minimize the risks of complications. Objective: The present study aimed to design and evaluate a mobile-based application with which patients with type 2 diabete...
متن کاملUltra-Widband Distributed Amplifier Using Loss Compensation Technique on Both Input and Output Circuit
In this paper, we analyze a distributed amplifier based on input/output attenuation compensation. The analysis is carried out for a HEMT transistor; and a constant-k section filter is used to calculate the amplifier’s characteristics such as attenuation factor, phase constant and gain. The proposed design approach enables us to examine the tradeoff among the variables, which include the type an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000